fpf{-}vals(${\it eq}$;$P$;$f$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$let $L$ = filter($P$;remove{-}repeats(${\it eq}$;1of($f$))) in zip($L$;map(2of($f$);$L$))